clausal normal form造句

例句与造句

1. In automated theorem proving, the notion " " clausal normal form " " is often used in a narrower sense, meaning a particular representation of a CNF formula as a set of sets of literals.
2. The framework has been designed to enhance human readability of intermediate formulas : contrary to classical resolution, it does not require clausal normal form, but allows one to reason with formulas of arbitrary structure and containing any junctors.
3. Although the kernel of the system works only with clausal normal forms, the preprocessor component accepts a problem in the full first-order logic syntax, clausifies it and performs a number of useful transformations before passing the result to the kernel.
4. It's difficult to find clausal normal form in a sentence. 用clausal normal form造句挺难的